Autogenerated HTML docs for v1.4.4.2-g8336 
diff --git a/config.txt b/config.txt index ceac54b..22482d6 100644 --- a/config.txt +++ b/config.txt 
@@ -31,6 +31,11 @@ 	external = "/usr/local/bin/gnu-diff -u" 	renames = true   +	[branch "devel"] +	remote = origin +	merge = refs/heads/devel + +  Variables  ~~~~~~~~~